Well-formed formula

Results: 322



#Item
291Lambda calculus / Theory of computation / Computability theory / Logic in computer science / Mathematical logic / Combinatory logic / Function / Well-formed formula / Gödel numbering / Mathematics / Theoretical computer science / Logic

I944Î BOOK REVIEWS

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2010-01-14 11:40:41
292Model theory / Predicate logic / Formal languages / Formal systems / Logical syntax / First-order logic / Interpretation / Axiom / Well-formed formula / Logic / Mathematical logic / Mathematics

national academy of sciences Kurt GÖdel

Add to Reading List

Source URL: www.nasonline.org

Language: English - Date: 2012-07-16 13:50:50
293Robert Manning / Fluid dynamics / Hydrology / Piping / Manning formula / Well-formed formula / Strickler / Open-channel flow / Fluid mechanics / Hydraulic engineering / Civil engineering

Short Historical Dictionary on Urban Hydrology and Drainage MANNING Robert

Add to Reading List

Source URL: jlbkpro.free.fr

Language: English - Date: 2012-04-17 09:04:29
294Model theory / Satisfiability Modulo Theories / Interpretation / Boolean satisfiability problem / Well-formed formula / Structure / Uninterpreted function / Theory / Signature / Logic / Mathematical logic / Mathematics

Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2009-01-24 01:34:38
295Charles Sanders Peirce / Diagrams / Philosophical logic / Existential graph / Logical graph / First-order logic / Propositional calculus / Well-formed formula / Function / Logic / Mathematical logic / Mathematics

Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2008-01-27 23:15:42
296Readability / Science / Logic / Flesch–Kincaid readability test / Spache Readability Formula / Well-formed formula / Sentence / Dale-Chall Readability Formula / George R. Klare / Readability tests / Linguistics / Lexile

Interpreting Lexiles in Online Contexts and with Informational Texts

Add to Reading List

Source URL: www.apexlearning.com

Language: English - Date: 2013-02-05 18:21:22
297Propositional calculus / Formal languages / Model theory / Interpretation / First-order logic / Well-formed formula / Proposition / Function / Atomic formula / Logic / Mathematical logic / Predicate logic

PDF Document

Add to Reading List

Source URL: web.engr.oregonstate.edu

Language: English - Date: 2010-01-08 15:44:32
298Semantics / Logical truth / Mathematical logic / Boolean algebra / Interpretation / Tautology / Well-formed formula / Function / Truth table / Logic / Mathematics / Propositional calculus

PDF Document

Add to Reading List

Source URL: www.uky.edu

Language: English - Date: 2009-02-12 16:35:04
299Propositional calculus / Formal languages / Logical syntax / First-order logic / Proposition / Predicate variable / Well-formed formula / Function / Lambda calculus / Logic / Mathematical logic / Predicate logic

PDF Document

Add to Reading List

Source URL: www.qedeq.org

Language: English - Date: 2013-05-24 16:15:39
300Logical syntax / Model theory / Formal languages / Metalogic / Interpretation / Entailment / Logical connective / First-order logic / Well-formed formula / Logic / Mathematical logic / Propositional calculus

PDF Document

Add to Reading List

Source URL: www.math.wisc.edu

Language: English - Date: 2008-04-24 11:40:22
UPDATE